Early Australian implement variation: a reduction model

Implement Procurement Maturity Model

A MDA Approach to Model & Implement Transformations

Only in software and in linguistics a model has the same nature as the thing it models. In software at least, this opens the possibility to automatically derive software from its model. This property is well known from any compiler writer (and others), but it was recently be made quite popular with an OMG initiative called the Model Driven Architecture (MDA). The model transformations allowing ...

Speckle Reduction Variational Model with Total Variation Regularization

In coherent imaging systems, such as synthetic aperture radar (SAR), the observed images are contaminated by the speckle noise (multiplicative noise). Due to the edge preserving feature of the total variation (TV), variational models with TV regularization have attracted much interest in removing the speckle noise. However, the fidelity term of the variational model, based on maximum a posterio...

BIRC5 Genomic Copy Number Variation in Early-Onset Breast Cancer

Background: Baculoviral inhibitor of apoptosis repeat-containing 5 (BIRC5) gene is an inhibitor of apoptosis that expresses in human embryonic tissues but it is absent in most healthy adult tissues. The copy number of BIRC5 has been indicated to be highly increased in tumor tissues; however, its association with the age of onset in breast cancer is not well understood. Methods: Forty tumor tiss...

Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks

This paper reconsiders Modgil’s Extended Argumentation Frameworks (EAFs) that extend Dung’s abstract argumentation frameworks by attacks on attacks. This allows to encode preferences directly in the framework and thus also to reason about the preferences themselves. As a first step to reduction-based approaches to implement EAFs, we give an alternative (but equivalent) characterization of accep...